Add function name to Codegen errors
Effect handlers should be covering

They don't make sense if they don't handle all possible operations, and
this can lead to strange errors (one of which I've just been debugging
in Protocols!)
Merge branch 'master' of github.com:idris-lang/Idris-dev