Disable dynamic enforcement of 'const' as it breaks too much code in
practice; we may want to do something similar in the future using an
explicit __input qualifier similar to __output, so add a comment
saying as much.