changed classfile version back to j2se 7.0 because of structural differences, need to use -noverify to run programs with jumps until we add stack map tables
fixed unit tests to run with new assertions
added todos for ms3