Updated Boogie to the latest version

zvonimir · zvonimir · commit 8663135b1dc1 · 2020-09-12T13:50:27.000-06:00
This version fixed a problem with infinite recursion.
diff --git a/boogie b/boogie
@@ -1 +1 @@
-Subproject commit 53bdf08f17a44cd6fb4a18e9aef5ad1f48f12549
+Subproject commit 522c64829bdd49cff47d26bf46f8f433b2da5892
