Assembly variable access check

[pirapira]

In the non-strict mode assembly for EVM, add checks:

• stack elements with names can only be modified by assignments
• a stack element with a name can only be read by the name
• at most one name can be assigned to a stack element

[chriseth]

There is no non-strict mode anymore.