VM examples have bit-rotted

[Ivan-Velickovic]

These need to be fixed and then added to CI so they don't regress again.

[Ivan-Velickovic]

The example has mostly been revived with #97, but there's more to do before this can be closed. See the PR description for details.