Adapted output of reverse function to be compatible with new verification utils; added driver API functions for reverse and paths query functions.