what if we could make the runtime checking part configurable (hm, i guess this isn't useful outside of tests now that i think of it)