Truly On-the-Fly LTL Model Checking