Added a few resolver query methods which were missing. Added verify_time to RRList.