Remove the unneeded properties of the public API interfaces

scriptId, isBlockCoverage, maybe some more...