Remove the Invariant Checker, so it doesn't have to be reviewed.