Dissertation: Fuzzing a Software Verifier