Add CI checks

[thealmarty]

At the minimum check that all examples compile and run successfully in Valida.

[nhlita]

Someone (@morganthomas ?) mentioned a test script being written to test the examples. When that's ready I'll write a workflow to run it in CI on PRs.

[mahmudsudo]

Can I take on this issue ?

[thealmarty]

Someone (@morganthomas ?) mentioned a test script being written to test the examples. When that's ready I'll write a workflow to run it in CI on PRs.

Can use #14? That's for correctness. There will be subcommands available later for run, prove and verify too.