Make noverify a Boolean so null can mean 'not set'