Move reflib location
Include android-17 framework
Print options if verbose
Refactor Constant Propigation tests
Fix opimization errors
Correctly cast dimension value for new-array
Correctly cast index value for array access

Also, return unknown values for out of bounds read/write