SEA checks if z3py is bootstrapped
fixed blocking bug in Prelude.py
updated readme