I made a set of files which will let you use your Prop123-A9 board for generic Verilog projects:
David Betz asked me to provide this for those that would like to experiment with their Prop123-A9. If anyone would like the same thing for the Prop123-A7, I can make that, too.
In Quartus, the top-level file must be an AHDL file, which is Altera's own HDL. In this project, the AHDL file (Prop123_A9.tdf) pulls in the Verilog file (Prop123_A9_Verilog) and passes it all the pin signals. The Verilog file can then control the pins.
In the included Verilog file, a counter is output to the green LEDs and an 8-bit LFSR is output to the red LEDs. All unused output pins are driven to safe levels.
To use these files, unzip them into their own directory. Then, in Quartus, go to the directory and open the project file (Prop123_A9.qpf). After compiling, use the PX program to download the resultant Prop123_A9.rbf into the Prop123-A9 board.