Change the panic message

  Switch from requesting bug reports to "cryptol-bugs@galois.com" to the github
issue tracker.