Verify all examples in CI

[joshlf]

Currently, we only verify a hard-coded list, and so we don't verify the newly-added nopanic example.