Characterizing the Raspberry Pi Pico ADC

I was disappointed in the details provided for the RP2040 ADC. So I decided to test it myself!