runtime: remove precondition for Builtins.mix. The specs don't mention this precondition anywhere.