Added tests for read injection functionality (0ef5ea3bcb4d55bca949508711285a362a423cf8 in s2e repo)