Description
Spec tests json files will define specific inputs, but these wont actually be set in the tests. Here is an example for the commit message. The test sets the round to 10, but this is never set in the qbft state. Not sure if this occurs elsewhere yet.
