Fix typo in variable name
Support fixed-size array initialization

These changes fixed-size arrays to be directly written. These direct
writes are encoded as constant arrays filled with a given expression.
The following changes were required for this:

* Add Z3::create_array_constant()
* Add LiteralReadInstr<T[N]>::element_literal()
* Add Z3ReadEncoder::encode(const LiteralReadInstr<T[N]>&)
* Add private Event(id, ...) and ReadEvent<T>(id, ...) constructors
* Add internal_make_read_event() to bypass read event ID control
Add functional tests for symbolic concurrency analysis
Support assignment of array dereferences to scalar