Hands-on workshop: turning manual Hubris debugging into formal, shareable tests

A developer tooling pattern does double duty: everyday Hubris debugging
tools humility, faux-mgs, and faux-ipcc, become the core for
more formal tests anyone on the team can run. sp-test drives the tests,
recording each run so tests and results can be shared, analyzed, and reproduced, on
an emulator and on real hardware.