storage needs to be checked
log tests that have no storage to verify
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