Squashed 'Torch/' changes from f971715..d4c0eb4

d4c0eb4 prod-Torch: Updated prod version of Torch at version 0.8.0.

git-subtree-dir: Torch
git-subtree-split: d4c0eb4554b39ab20ea85e609c1d0ea95ac8fac7