fix(contracts): bug fixing based on openzeppelin's audit

[zimpha]

Purpose or design rationale of this PR

This PR fix bugs found in openzeppelin's audit

• use 0x80 to encode rlp(0)
  • The geth use 0x80 to encode 0 in a special way. (0 can be encoded both as 0x00 and 0x80)
• remove withdrawRoot from importGenesisBatch
  • We keep this for unit testing before. The PR use another method to handle unit testing and thus remove this parameter.
• remove isL1MessageRelayed
  • This variable is not used anymore in our new design. We forget to remove this variable before auditing.
• fix storage slot in L2ScrollMessenger
  • Some variables are removed in ScrollMessengerBase, the slot used in verifyMessageExecutionStatus and verifyMessageInclusionStatus should be fixed.
• use call in WETH9.withdraw
  • The copied WETH9 code uses transfer to withdraw ETH, which may run out of gas in some cases.

PR title

Your PR title must follow conventional commits (as we are doing squash merge for each PR), so it must start with one of the following types:

• build: Changes that affect the build system or external dependencies (example scopes: yarn, eslint, typescript)
• ci: Changes to our CI configuration files and scripts (example scopes: vercel, github, cypress)
• docs: Documentation-only changes
• feat: A new feature
• fix: A bug fix
• perf: A code change that improves performance
• refactor: A code change that doesn't fix a bug, or add a feature, or improves performance
• style: Changes that do not affect the meaning of the code (white-space, formatting, missing semi-colons, etc)
• test: Adding missing tests or correcting existing tests

Deployment tag versioning

Has tag in common/version.go been updated?

• No, this PR doesn't involve a new deployment, git tag, docker image tag
• Yes

Breaking change label

Does this PR have the breaking-change label?

• No, this PR is not a breaking change
• Yes

---

• To see the specific tasks where the Asana app for GitHub is being used, see below:
  • https://app.asana.com/0/0/1204524694664559

[zimpha]

@maxwolff Could you help to add more cases in l2geth like integer value in [0, 1, 127, 128, uint256.max], bytes with length 1 and values from [0, 1, 127, 128].

[github-actions]

LCOV of commit d53a334 during Contracts #864

Summary coverage rate:
  lines......: 46.9% (744 of 1588 lines)
  functions..: 57.8% (155 of 268 functions)
  branches...: no data found

Files changed coverage rate: n/a