Remove extra address-of operators to prepare for https://github.com/verus-lang/verus/pull/2377#5

Chris-Hawblitzel merged 1 commit into

mainverus-lang/verified-node-replication:mainfrom

spec-eqverus-lang/verified-node-replication:spec-eqCopy head branch name to clipboard