SAT: Print git commit hash when running SAT 

## Tell us about the problem you're trying to solve
When accepting contributions we want a way to know which commit a particular run of SAT ran on so we can accept community conributions whose CI we can't run directly. Example is #4358 

## Describe the solution you’d like
print the repo's git commit hash when running SAT
