AALpy 1.5.3

• Minor bug fixes
  • ensure post method is called after every eq. query
  • ensure reproducibility in functions that rely on computation of characterization set
  • fix state tracking Transition Focus Eq Oracle
  • misc. updates