community/verovio: upgrade to 4.0.1 and fix check()

Closes #15454 (closed)

Using jq to normalize json before hashing for comparison was brittle, and broke because a jq update preserves the precision of numbers in output. (the C and python libraries have equivalent but not identical output of the options)

The check was changed to just verify the count of options. This will also be easier to maintain as new options are often documented in the changelog.