Fix Symbolic Call Create Semantics

Fixed symbolic static calls, CALLCODE balance checks, and reverted constructor return data to match concrete EVM execution.