refactor state circuit and rw table

[lispc]

background: privacy-ethereum/zkevm-specs#202

1. Constrain value_prev when needed: (1) value_prev.cur() == value.prev() when keys not changed, (2) constrain default prev value when keys changed
2. Change rw value tuple to struct in evm_circuit::constraint_builder. It makes reading codes easier in IDE. Using meaning field names is less likely to introduce bugs. (eg: fix things likevalues.swap(4, 5))
3. Assignment of rw table of evm circuit and state circuit shard much more codes. In fact rw table of evm circuit and state circuit are identical now.
4. Change FieldExt to Field in some places. We should always use eth_types::Field.
5. Use a constant bool generic to control state circuit to be "full" or "light"(disable lexicographic_ordering u16 lookup to reduce k. Since this contraint is almost impossible to be broken if assignment codes of state circuit are called). Use 'light state circuit' in opcodes tests. Reduce CI time 35min -> 17min.