Add malleable test vectors

Fix bugs from alloy spec

Possibly has some bugs in j: wrapper implementation. Will squash this
commit later

Author: heap-coder