Added timer to rave.util, cleaned up some miscellaneous bugs and style errors.