Sigil cops ignore double commented sigils

[vinistock]

It seems that our cops are not catching the usage of

# # typed: true

and end up adding another sigil above that one - even though Sorbet does seem to understand the double commented sigil. We should make our cops more robust to this and also remove the extra leading comments since only one is necessary.