Symbolic Uniform Sampling With Xor Circuits