Regression tests running on CI/CD

[thobson88]

Aim is to have an end-to-end test running on GitHub Actions, i.e. a navigator run (in buffer mode) on a synthetic C sample, with simple fuzzing of 1 or 2 bytes, ending with a check that the expected NET is produced.