Updates Prettier to major version 3, and also updates a couple prettier-related other things. Prelude to #1511 so that that PR doesn't include a bunch of unrelated changes
