Here's a description of this issue, as requested by Ilia:
ByteArrayGuard's usage of Mac instances is not thread-safe which can randomly result in "ERROR: MAC did not verify!" messages being output. JAVASERVERFACES-4137 fixes this problem by moving Mac instantiation and initialization to the encrypt/decrypt methods in ByteArrayGuard and enabling ViewState data encryption by default.