Switch to upstream quickcheck

My changes were merged upstream, so no need to use my fork anymore.
Switch to new subscript-based assignment