Disallow multiple 'default:' blocks in a switch statement

RFC: https://wiki.php.net/rfc/switch.default.multiple