I would agree with "b", pyrophosphate definitely is a good leaving group. When you take ATP for example, for some energetic reasons it´s nearly always the pyrophosphate which is cut off, not only phosphate. So I would expect the same in isoprenoid biosynthesis.