More changes to the pickled solver execution support -> moving as much as possible up to the base solver class
Preparing FPGA Solver for verification