Make `findMethod` report *all* method names when method is not found.
Make `findMethod` report *all* method names when method is not found.

Fixes #911.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script