Upgrade Proof to 0.0.44.

Closes #309.
Implement signed short cycle using Programmatic.

Closes #310.