Ditch old C-test code
Add build option -a for manually adding asserts