Improve Type Checking on Outputs to Python

[kylekrol]

Currently, the types of the parameters and state fields being output to Python is checked with a set of dynamics casts. This is okay for our small set of types but we really should update this to leverage the double dispatch pattern or something similar. Perhaps the state fields could return a variant directly.