Exclude setup/teardown from test list generation

Put test list generation under test.  Extract hoax_macro which knows how to
extract fun_names from functions and build a correct test list.
Prove fix inconsistency fix.

Include a common test form that fails previous to this merge.