Provably Overwhelming Transformer Models with Designed Inputs