Israel probes into claims that short-sellers profited before Hamas attack