turn on Sledgehammer verbosity so we can track down crashes
turn on Sledgehammer verbosity so we can track down crashes

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle