Flagged Out-of-Date Comment: saw-script

lemmarathon flagged saw-script out-of-date on 2022-07-06 (UTC) for the following reason:

0.9 released https://github.com/GaloisInc/saw-script/releases/tag/v0.9