Fix formatting in proptest macros

[upbqdn]

Motivation

It looks like rustfmt started checking the contents of proptest macros: https://github.com/ZcashFoundation/zebra/actions/runs/7836983037/job/21385757962?pr=8251#step:6:15. Note that the PR didn't edit the files where the reported errors occur.

PR Author Checklist

Check before marking the PR as ready for review:

• Will the PR name make sense to users?
• Does the PR have a priority label?

Complex Code or Requirements

Solution

• Fix the formatting of the affected files.

Reviewer Checklist

Check before approving the PR:

• Does the PR scope match the ticket?
• Are there enough tests to make sure it works? Do the tests cover the PR motivation?
• Are all the PR blockers dealt with?
  PR blockers can be dealt with in new tickets or PRs.

And check the PR Author checklist is complete.

[upbqdn]

It's not clear to me why this started happening only now, and I also didn't find any relevant updates in rustfmts changelog: https://github.com/rust-lang/rustfmt/blob/master/CHANGELOG.md.

[arya2]

Thank you

[arya2]

It's not clear to me why this started happening only now, and I also didn't find any relevant updates in rustfmts changelog: https://github.com/rust-lang/rustfmt/blob/master/CHANGELOG.md.

I didn't find anything either, it may have been a bug fix in a transitive dependency.