http://en.wikipedia.org/wiki/SHA-2#Cryptanalysis_and_validation
SHA256 isn't JUST used in bitcoin. It's used in SSL, in banks all over the world, wireless encryption, cellphone encryption, encryption/verification for thousands of open source projects, etc. If you need a citation for it's strength, it's been used for 10 years in all these fields without any likely attack vector found.
I'm aware, thank you for spreading the word.
ROT-13 is harder to crack than ROT-13(ROT-13). Has anyone proven the same is not true of SHA256? I will be very surprised...
ROT-13 is nondestructive. Very different from SHA-256.