The `state_output: mixed` highstate outputter is more useful than the
terse outputter, because the terse outputter always produces only one
line of output, but the mixed outputter uses one line for successful
states and full output for failed states, increasing the SNR.