Two new tests are skipped because they're buggy. Making some newer random state tests work required implementing the 'compressed return value encoding'.