Navigating Instruction Length Decode: TAP into IP using Formal Verification