move a couple of runtime invariants to just be tests