On Characterizing Nondeterministic Circuit Size