Added a few asserts that check that the compile proc executes
successfully.