Compression is good, but at the risk of losing image quality. I've tried before but have not been happy with the results.
There's an Android port for 0.8 that's been recently posted, file size is a bit over 530 MB. I can live with crappy or even no animations, but renders look the same as they were uncompressed.
Good to hear that one works
