Add the status of various liveness assertion predicates in the HTML view

[jp-fizzbee]

At present, the states where the liveness constraints are valid are annotated in the state graph (But it is generated only when the state space is small). This should be annotated in the HTML trace as well.