committing new and improved semantics tests so someone can hopefully run them deterministically