0.32.0

Write logs to SQLite by default and add invariants which describe expected conditions post simulation in the form of SQL queries.

Also add explicit support for non-write systems, e.g. for log files that should emit signals for analysis by invariants.

What's Changed

• Add SqliteProxyLog by @khyrngo in #27
• Implement invariants by @khyrngo in #28
• Produce error events when effect apply fails by @khyrngo in #29
• Improved run output by @khyrngo in #30
• Add non-interactive signals by @khyrngo in #31
• Fixups before 0.32.0 by @khyrngo in #32

Full Changelog: 0.31.0...0.32.0
Blog: https://rngo.dev/blog/release-friday/invariants