add some tests and start a "known bugs" test suite for the contract system