Characterization of the HAYSTAC axion dark matter search cavity using microwave measurement and simulation techniques.