Implement working treatment/mutation transfer tests

[swoodhouse]

Current tests fail but I'm pretty sure it's because the tests are wrong, not the implementation.

[swoodhouse]

testTreatmentTransfer(treated, untreated, i):
  // test1
  exist(treated, treatmentVars) ==
  exist(untreated, chosenTreats[i])

  // test2
  transfer = for v in oe/kovars conj logicalequivalence(repTreat v, repchosentreat i j)

  (treated * transfer) == (exist(untreated, treatmentVars) * transfer)

testMutationTransfer(mutated, unmutated, i):
  // test1
  exist(mutated, mutationVars[i]) ==
  exist(unmutated, chosenMuts[i])

  // test2..
  transfer = for v in oe/kovars conj logicalequivalence(repMut i v, repchosenmut i v)

  (mutated * transfer) == (exist(unmutated, mutationVars[i]) * transfer)