working on profiling; added random_big_int function to util