symbolic big-endian values working; added test for TestCaseGenerator (9c2719b in s2e repo)

Signed-off-by: Jonas Zaddach <zaddach@eurecom.fr>