In sorry Alxoom33, but I don't beleive that is the case, I verified the checksum of all sources and reattempted 3 times. I am certain that some bug still exists with twrp-3.5.0_9-1 for taimen. But it doesn't really matter, its easy and effective to use twrp-3.5.0_9-o for taimen.I have a Taimen on VZ and have not had any problems booting and installing latest TWRP. You may have a bad dl or other issues with your phone.
twrp-3.5.1_9-0-taimen.img no longer has the problems I experienced in twrp-3.5.0_9-1-taimen.zip.