Make fuzz test blazing fast and add user.checkModel()