mix theoria.kernel.check (theoria v0.4.0)

Copy Markdown View Source

Runs production/reference kernel differential checks.