tests/proofs: update submodule

Everett Hildenbrandt · Everett Hildenbrandt · commit e64fe26fbc35 · 2018-04-02T12:53:03.000-06:00
diff --git a/tests/proofs b/tests/proofs
@@ -1 +1 @@
-Subproject commit ef26a7cd6d06ca337da6ec4ca4f4b554bd28d8d0
+Subproject commit 527e4a5e617f2956b65526dc841c5eb1728e3fca
