re-enable most Qed options
try more proof attempts