Ossature can now catch code that compiles but is wrong

The 0.1 releases let an AMD component declare how its code should behave, and add a reviewer that reads the generated code against those contracts after it compiles.