This adds multiple configuration variations for the generate-and-check
planning strategy on the instances where the first found plan is not
serializable, with the comparison to Madagascar.
Instead of specifying the heuristic encoding manually, this lets the
planner define its location. This is to make sure that an incorrect
encoding isn’t applied accidentally.
