add benchmark of mul256/mod512