The verifier needs to be renamed (SimonClassicalVerifier?) and the source, etc fields need to be filled in.