Make verbose flag a nop for now; tweak some GradingProtocol formatting
Merge branch 'release' of github.com:Cal-CS-61A-Staff/ok into main