Tiny
Add assertions about controllers while changing high level modes