Bounds check consts by value, not type
Bounds check consts by value, not type

This lets us prove "c == 123" given "pri const c u32 = 123".

Fixes #5

google/wuffs,google/wuffs,google/wuffs,google/wuffs,google/wuffs