RvLLM: LLM Runtime Verification with Domain Knowledge