Probative Programming: Toward the physical unification of code and tests