chore(deps): update loom requirement from 0.6 to 0.7

[dependabot[bot]]

Updates the requirements on loom to permit the latest version.

Release notes

Sourced from loom's releases.

Loom 0.7.0

Added

• explore(), stop_exploring(), skip_branch() enable reducing the concurrent state exploration (#323).

Changelog

Sourced from loom's changelog.

0.7.0 (August 4, 2023)

Added

• explore(), stop_exploring(), skip_branch() enable reducing the concurrent state exploration (#323).

0.6.1 (July 21, 2023)

Fixed

• Avoid cancelling generators as it is not a thread-safe operation (#318)

0.6.0 (June 17, 2023)

Changed

• Increase max threads to 5 (#314)

Added

• Support setting model thread stack size (#311)

Fixed

• Fix corner case in RwLock (#300).

0.5.6 (May 19, 2022)

Added

• cell: add UnsafeCell::into_inner for parity with std (#272)
• sync: re-enable Arc::strong_count (#172)
• sync: implement Arc::try_unwrap (#262)
• sync: add mpsc::Receiver::try_recv (#262)

Documented

• show feature flags in docs (#151)
• fix broken RustDoc links (#273)

0.5.5 (May 10, 2022)

Added

• sync: Add Arc::from_std without T: Sized bound (#226)
• sync: Implement Debug for AtomicPtr for all T (#255)
• logs: Add location tracking for threads and atomic operations (#258)
• logs: Add additional location tracking to Arc, alloc, and mpsc (#265)
• logs: Improve tracing configuration for LOOM_LOG (#266)

... (truncated)

Commits

• 0cdd453 prepare v0.7.0 release (#324)
• 8075e03 Enable user pruning of exploration branches (#323)
• 11d6894 prepare v0.6.1 release (#319)
• 465f841 ensure fn passed to generator completes (#318)
• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)