pass along the --verbose flag to prove