Fixed old assertions, removed now incorrect instruction count from tac tests.