ABCL passing all CFFI tests

Due to the hard work of Cyrus Harmon and Olof-Joachim Frahm over the past six months, the code in this pull request passes all CFFI tests with ABCL.