CI should make sure all examples are working properly

[jakobj]

Currently, we merely make sure that the examples don't crash, not that they lead to the correct results. We should add strategic asserts, warning us if an example does not find good solutions any more.