Validate configuration and result specs

[greglook]

The various data pieces in greenlight.step and greenlight.test are fairly well specified, so we should leverage this by actually validating the inputs and outputs in the relevant functions.