contractor-refactor test failures

[soonhokong]

• --delta + exist/forall cases are expected to fail
• --multiheuristic is not properly implemented with the new contractor framework yet
• 19.smt2 indicates an existing problem in IBEX + Polytope option.

Out of 2067 test cases, we have the following failures. I'll fix them soon.

regression_nra_multiprune_19.smt2 ..................................***Failed    2.01 sec
regression_nra_multiprune_ea_02.smt2 ...............................***Failed    0.71 sec
regression_nra_multiprune_exist_forall_05.smt2 .....................***Failed    3.71 sec
regression_nra_multiprune_exist_forall_06.smt2 .....................***Failed    3.71 sec
regression_nra_multiprune_exist_forall_07.smt2 .....................***Failed    1.01 sec
regression_nra_multiprune_int_01.smt2 ..............................***Failed    3.32 sec
regression_nra_multiprune_int_03.smt2 ..............................***Failed  237.23 sec
regression_nra_multiprune_osmosis-hockey-ML2-d10.smt2 ..............***Failed    0.91 sec
regression_nra_multiprune_osmosis-hockey-ML2.smt2 ..................***Failed    3.92 sec
regression_nra_multiprune_osmosis-hockey-ML4-d10.smt2 ..............***Failed    1.81 sec
regression_nra_multiprune_osmosis-hockey-ML4.smt2 ..................***Failed    3.91 sec
regression_nra_multiprune_osmosis-hockey-ML5.smt2 ..................***Failed  565.10 sec
regression_nra_multiprune_yichao_01.smt2 ...........................***Failed    3.77 sec
regression_nra_multiprune_zenna_09.smt2 ............................***Failed    3.78 sec
regression_nra_ncbt_int_03.smt2 ....................................***Failed  125.14 sec
regression_nra_normal_int_03.smt2 ..................................***Failed  118.45 sec
regression_nra_polytope_19.smt2 ....................................***Failed    1.02 sec
regression_nra_short_sat_int_03.smt2 ...............................***Failed  119.92 sec
regression_nra_simul_int_03.smt2 ...................................***Failed  137.09 sec
regression_nra_tp_int_03.smt2 ......................................***Failed  116.12 sec
regression_nra_worklist_fp_int_03.smt2 .............................***Failed    7.22 sec

[soonhokong]

Remaining cases:

regression_nra_ncbt_int_03.smt2 ....................................***Failed  125.14 sec
regression_nra_simul_int_03.smt2 ...................................***Failed  137.09 sec

[soonhokong]

All fixed now.