refactor: clean up property names and document stringy values

fix: don't require a server-custodied rotation key

types: drop unchecked construction from validated newtypes

feat(docs): explain our definition of "correct PDS implementation"

feat(config): add more default crawlers/relays

totp: let legacy sessions disable totp

fix(api): dont verify signature or DID during importRepo

feat(test): test that websockets get closed

feat(tranquil-store): gc and hardening