add copyright headers
fix txn-assert compilation