  o Minor feature (metrics port):
    - New metrics on the MetricsPort for the number of BUG() that occurred at
      runtime. Closes MR 760.

