Fix level_leq incompleteness and redesign AiurTestCase API#344

gabriel-barrett merged 1 commit intomainargumentcomputer/ix:mainfrom

ap/levelsargumentcomputer/ix:ap/levelsCopy head branch name to clipboard