Closes #9 Closes #10 * add flow graph crate * update authors * implement control flow graph analysis * detect if program flow falls through the end of a block * relax itertools version constraint