Fixed a problem where visible blocks with branching has their starting points instrumented multiple times depending on the number of paths they spanned. Migrated the visible block functionality form Analyzer to InstrRecordReplay. Visible blocks are now directly instrumented, not stored.