rename allpath_hprop to path_ishprop, close #545
Merge pull request #548 from mikeshulman/path-ishprop

rename allpath_hprop to path_ishprop, close #545
remove workaround for fixed bug 3588
Some HITs were missing the fix for Anthony's inconsistency
Merge pull request #549 from mikeshulman/bug3588

remove workaround for fixed bug 3588
Merge pull request #550 from mikeshulman/hits

2 pairs even.
Some HITs were missing the fix for Anthony's inconsistency