3.1.0 prep (#595)

* update bench.pact

* update changelog and cabal version

* 3.0.2 -> 3.1.0

* typo

* address stuart's comments

* update analysis section

CHANGELOG.md

@@ -1,3 +1,23 @@
+3.1.0
+---
+* Add SPV endorsement functionality to `defpact`s
+* '=' now compares only like terms
+* User guards can now be created as closures of boolean-valued functions
+* Improved swagger documentation
+* Improved error messages
+* Added new decryption and keypair validation primitives for CHACHA20-POLY1305 Authenticated Encryption with Associated Data (AEAD)
+* Added bitwise integer native functions `&`, `~`, `shift`, `xor`, and `|`
+* Add user-facing `chain-data` native schema type
+* Documentation for namespaces and interfaces
+* Add base-64 case to `str-to-int` and improve error messages
+* Add `int-to-str` native
+* Analysis:
+  * traces now render on same line
+  * added support pact step signatures, and governance analysis
+  * added support for `chain-data` pact native
+  * upgrade z3 version support to 4.8.5
+  * Scope checking for interfaces
+
 3.0.1
 ---
 * Check for module in stack when enforcing module guard

pact.cabal

@@ -1,5 +1,5 @@
 name:                pact
-version:             3.0.1
+version:             3.1.0
 synopsis:            Smart contract language library and REPL
 description:
             Pact is a transactional, database-focused, Turing-incomplete, interpreted language for smart contracts,