Added checkstack and improved fvm_push

fvm_push can now push more data than 256 bytes