Improving parity games in practice