Strict fail work2

This pull request supersedes PR#72 which has grown unmanageably big.  (Lesson for me: don't bite off 500 files at a time).

Incorporated line note changes from @anba in PR#72.  Notably:
 - fixes to helpers (parens around instanceof expressions, etc.)
 - restore functionality that was unintentionally removed
 - restore TypeError checks instead of re-throwing
 - add flags: [noStrict] to four tests that needed it (modifying arguments object through arraylike interface doesn't change named arg in strict mode)

also renamed assert[Non]{Enumerable,Configurable...} to verify (per helper discussion in related issue).  Added helper fn sameValue().  Added test for sameValue.