Update submodules
Refactor crosstests to use new ExampleProgs