Can a ESP8266 and a HC-SR04 be friends?
pulseIn() is actually a very simple function.  As long as there is a microseconds counter of some form available you can easily enough roll your own.

Also, I don't know which implementation of the ESP8266 plugin you are using, but the one I use has pulseIn available.