Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping