lunatic: move the should assertions into their own library