forward assertions setting into backend, and use it to check for invalid # of args in static calls
check argument and return types statically
Update to the new datalayout string.