Add a few patterns for 256-bit bitcasts. No testcases now, they are