We use reverse SSL proxy extensively without issue. Not with the product you are using though.

Just wanted to suggest having a look at this setting in config-dist.php:

// Enable when using external SSL appliance for performance reasons.
// Please note that site may be accessible via http: or https:, but not both!
// $CFG->sslproxy = true;