Text this: Hardness of monadic second-order formulae over succinct graphs