* tests/python/push-weights.py: Use CHECK_EQUIV instead of
checking the equality of the valuation for some words.