Use `git checkout` instead of `git reset` for version pins.
Use `git checkout` instead of `git reset` for version pins.

Using `git reset` didn't make sense when the pin was a branch.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script