fixed some buges.

- Fixed a bug in computation of maximum exit rate,
- Added consistency checking of input file for transition specification of form "* <dst_state> <rate/prob>"