Added benchmark; removed boost.random