Run examples in CI

[recmo]

To prevent issues like #383 from happening again, all examples should be run in the CI, similar to unit tests.

Some examples are too large to feasibly run on CI resources, for this there are two solutions:

• Run them on external resources, like we doe with the benchmarks
• Parameterize the size in a command line argument and run a smaller version in CI.

The second approach is probably, best, but requires the large examples to be changed to have parameterized size. This size parameter is a useful feature for benchmarking and scale testing too.