added arithmetic compiler sanity checks
added <= compiler test