Big-int: Fix copy-assign, add move ops, enable implicit conversions#1341

Merged

kroening merged 1 commit intodiffblue:developfrom reuk:reuk/big-int-fixes

Oct 12, 2017

+108-120

Commits on Sep 5, 2017

Update Big-Int with copy, move, swap
reuk
committed