How is Alchitry doing? still has Sparkfun development boards in stock, though pricey. $366 for Au+. Support here is horrible and my experience with Lucid is that it appears to work okay with their demos but has problems on its own. Therefore, I would stick with Verilog or VHDL should you want to teach FPGAs.