Successive-Cancellation Decoding of Reed-Muller Codes with Fast Hadamard Transform — arXiv2