I copied the power mux section and put it in its own schematic, added 5V, 9V,
and 20V voltage sources on the respective rails, and put 3.3V on the gate of
one of the MOSFETs, as I was going to drive the MOSFETs using GPIOs.
Good thing I simulated it, this was a terrible idea.