Introducing explicit flag to record that a SrcSpan size has changed,
and switched to bitwise encoding into the GHC.SrcSpan to ensure
fitting into 32 bit GHC