Add tests for GecodeSolver primary API