fix hash function in HashedZdd + warnings
Merge branch 'master' of https://github.com/backtracking/combine