Macro test_assignment

macro_rules! test_assignment {
    ($solver:expr, $base_assumps:expr, $assumps:expr, $result:expr) => { ... };
}

Test a solver under two sets of assumptions and assert that the result is as given. This is used in the integration tests.