Refactor the LAAST

[nnazo]

1. Remove redundant / unused fields
2. Remove the Prophet compatibility layer (maybe)
3. Rename JSSAContext to LAAST or some other more suitable name
4. Change nodes from &mut self to &self in ReSSA node exploration