EM updates & AssertEvidence

This commit addresses #264 and #220. It also has code for #253, but
still needs a way of specifying the termination criteria through EM.apply().