Yes, `waitFor` is idempotent, and `waitFor(vm, possiblyUnbound)` as a first line is fine, but we want a fast-path for the non-erroneous bound case.