Pedant fixes and improvements

* Don't pedant on the non-bootstrap backend, it will always fail
* Add an `ec-harness::pedant` recipe and rake pedant/verify command
* bugfix for force-formatter flag in Rakefile
* Now that pedant is our friend, change the default of run_pedant to true