fix a silly bug in the intrinsic code and add a testcase that would have caught
it
Merge pull request #88 from regehr/intrinsic-fix

fix a silly bug in the intrinsic code and add a testcase that would have...
Assert that expr widths match inst widths
Add developer policy