Fix warnings: update deprecated is/get syntax to use new is/matches syntax#4

Chris-Hawblitzel merged 1 commit intomainverus-lang/verified-node-replication:mainfrom

is-matchesverus-lang/verified-node-replication:is-matchesCopy head branch name to clipboard