Add java_assert_eq command

[atomb]

The current java_assert command can be used to establish initial values for variables, but does so in an inefficient way: by conjoining a constraint with the path condition. Sometimes it would be significantly more efficient to allow imperative assignment to the initial values of variables. This would make many more branch conditions likely to be concrete, and not require the use of branch satisfiability checking.