Add Dev Random to CONTRIBUTORS.txt, thanks for the patches!