Is this actually proven? Pi is irrational, but is it proven to be random (or normal)? http://www.askamathematician.com/2009/11/since-pi-is-infinite-can-i-draw

Is this actually proven? Pi is irrational, but is it proven to be random (or normal)? http://www.askamathematician.com/2009/11/since-pi-is-infinite-can-i-draw-any-random-number-sequence-and-be-certain-that-it-exists-somewhere-in-the-digits-of-pi/ http://www.askamathematician.com/2009/11/since-pi-is-infinit... Also, assuming that it is, if 'start as position X and read Y bits from pi' produced an illegal image (top secret document, abuse images, etc), what would be the legality of trading such information?