I'm in the same boat. This is the code that I would write:
signaloff = utime.ticks_us() # to get the time from when the pulse ended
while echo.value() == 0:
pass # wait for a signal.....
signalon = utime.ticks_us() # get new time
timepassed = signalon - signaloff # this is now the time...