Update to Boogie 2.9.5#165

Open

Dargones wants to merge 9 commits intoboogie-org:masterfrom

Dargones:Upgrade

Commits on Mar 29, 2023

Update Boogie to 2.9.2
Dargones
committed

Commits on Apr 10, 2023

Explicitly set errorlimit of 1
akashlal
committed