test&review dalvik_block, binary search based block finder, change tail recursion to iteration in sexp_parser for list, bugs fixed & documents