Direct verilog generation.
Enough verilog generation to run the examples.
Removed no-longer-desiered lines from TODO.
Updated outstanding bugs file.