NF Elementwise Bounds

Elementwise approximation lemmas for the rounded NF backend: per-entry error budgets and the approxTensor bounds for arithmetic and activation operators applied pointwise.