Add not_a_latch and for_loop_synth tests.