Removing a couple .acl2 files that are no longer necessary now that we support waterfall-parallelism with ACL2(hp) in a better way