ivory.h: remove CBMC cruft.