start SIGNEXTEND
fix k and x
k is the byte number
storage wasn't being checked
debugging
extend bytes that are strictly more significant than k
some tests fixed
need to also set zeroes
pop off x only when k is small enough
shorten code
use hex
verify gas
SIGNEXTEND is done
Merge branch 'SIGNEXTEND' into develop