Added checkstack and improved fvm_push

fvm_push can now push more data than 256 bytes
fixed bug that would cause mishandling of brkt pin 0
fixed typo in fvm_push