Python bindings for SpinRewriter API.