v0.11.0

What's Changed

• Cleanup: fix unicode edits, async race, dedup, dead code by @oOo0oOo in #40
• Bump test toolchain to Lean v4.30.0 by @oOo0oOo in #41
• Lean 4.30 test fixups + info_trees module-system fix by @oOo0oOo in #42
• Add ty type checking; make the library pass it by @oOo0oOo in #43
• Fix flaky test_server_queues_requests timing assertion by @oOo0oOo in #44

Full Changelog: v0.10.0...v0.11.0