Update overintegration tests

[MTCam]

Track changes to tests for TPEs and overintegration. After the WADG update, overintegration appears to be working properly. This PR will add the tests to show that it is working and some examples that exercise it.

• Problems using/testing overintegration in mirgecom:
  • overintegration not properly used in WADG (illinois-ceesd/grudge@7c8eaec)
  • TPE normals not on quadrature domain when using overintegration in mirgecom (fixed upstream)
  • grudge integration utility uses mass matrix instead of direct quadrature (illinois-ceesd/grudge@2e54482)
  • mirgecom discretization creation utility does not properly create quadrature domain of correct order for TPE (local)
  • transform chain breaks when setting quadrature order < 2p (illinois-ceesd/loopy@fc274fa)
  • lazy required for quantitative test from Mengaldo to run in pytest didn't work, tests slow

Questions for the review:

• Is the scope and purpose of the PR clear?
  • The PR should have a description.
  • The PR should have a guide if needed (e.g., an ordering).
• Is every top-level method and class documented? Are things that should be documented actually so?
• Is the interface understandable? (I.e. can someone figure out what stuff does?) Is it well-defined?
• Does the implementation do what the docstring claims?
• Is everything that is implemented covered by tests?
• Do you see any immediate risks or performance disadvantages with the design? Example: what do interface normals attach to?