Unit tests complete and passing for ZKP.Iterative package