also, what is the default state of the management GPIO pin (does it default to an output or is it High-Z / output-not-enabled)? I can't find any docs about this

The management GPIO pin is defined in the LiteX VexRISC and its documentation should give the default state somewhere, if you can find it. @jeffdi might know.