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 in apply.