Update changelog for version 8.5.1#449

srunquist-certora merged 1 commit intorelease/version_8.5.1Certora/Documentation:release/version_8.5.1from

shane/8.5.1_changelogCertora/Documentation:shane/8.5.1_changelogCopy head branch name to clipboard