Disable Model Checking in PreForm

Great idea.