Remember whether implicits are machine generated

This way, we can skip a huge chunk of coverage checking if we know the
case was generated by the machine rather than a programmer.
Fixes #535
Remove forcing optimisation from coverage checker

Because it turns out to be unsound! But using implicit arguments has the
same effect and is (I think...) sound.