It's a shame that Mika's forum post is closed since it doesn't give others a chance to comment.

I have shortcode examples that were broken by WordPress 4.0.
Now they're even more broken with 4.0.1

But my pragmatic workaround still applies.

remove_filter( 'the_content', 'wptexturize' );

I have reopened my original TRAC https://core.trac.wordpress.org/ticket/29608

BTW. I believe WP engine has implemented something similar.