Implement alien-callbacks on ARM.
Liberalize the assertion for widetag range compression test