update for 'static changes to quickcheck (still not compiling)

Also temporarily removed PnSet